Norm Modifications in Defeasible Logic
نویسندگان
چکیده
This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modifications. We show how to express them in DL and how the logic deals with conflicts between temporalised normative modifications. Some comments will be given with regard to the phenomenon of retroactivity.
منابع مشابه
Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic
In this paper we propose a temporal extension of Defeasible Logic to model legal modifications, such as abrogation and annulment. Hence, this framework overcomes the difficulty, discussed elsewhere [7], of capturing these modification types using belief and base revision.
متن کاملA Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. Defeasible Logic Programming (DeLP) is a defeasible argumentation formalism based on an extension of logic programming. Although DeLP has been successfully integrated in a number of different real-world applications, D...
متن کاملLogics for Legal Dynamics
Legal dynamics is an important aspect of legal reasoning that inspired the area of belief revision. While formal models of belief revision have been thoroughly examined, the formalisation of legal dynamic has been mostly neglected. In this contribution we propose Temporal Defeasible Logic to model legal dynamics. We build such a logic in steps starting from basic defeasible logic, and we show h...
متن کاملNorm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic...
متن کاملNorm Compliance of Rule-Based Cognitive Agents
This paper shows how belief revision techniques can be used in Defeasible Logic to change rulebased theories characterizing the deliberation process of cognitive agents. We discuss intention reconsideration as a strategy to make agents compliant with the norms regulating their behavior.
متن کامل